1

Finite automata presentable abelian groups

André Nies, Pavel Semukhin
Journal:
Annals of Pure and Applied Logic
Year:
2009
Language:
english
File:
PDF, 622 KB
english, 2009
2

Uncountable automatic classes and learning

Sanjay Jain, Qinglong Luo, Pavel Semukhin, Frank Stephan
Journal:
Theoretical Computer Science
Year:
2011
Language:
english
File:
PDF, 312 KB
english, 2011
3

(Pi^0_1)-Presentations of Algebras

Bakhadyr Khoussainov, Theodore Slaman, Pavel Semukhin
Journal:
Archive for Mathematical Logic
Year:
2006
Language:
english
File:
PDF, 216 KB
english, 2006
5

Automatic models of first order theories

Semukhin, Pavel, Stephan, Frank
Journal:
Annals of Pure and Applied Logic
Year:
2013
Language:
english
File:
PDF, 293 KB
english, 2013
9

Prime Models of Finite Computable Dimension

Pavel Semukhin
Journal:
Journal of Symbolic Logic
Year:
2009
Language:
english
File:
PDF, 1.03 MB
english, 2009
10

Applications of Kolmogorov complexity to computable model theory

Khoussainov, Bakhadyr, Semukhin, Pavel, Stephan, Frank
Journal:
Journal of Symbolic Logic
Year:
2007
Language:
english
File:
PDF, 1.02 MB
english, 2007
11

Prime models of finite computable dimension

Semukhin, Pavel
Journal:
Journal of Symbolic Logic
Year:
2009
Language:
english
File:
PDF, 914 KB
english, 2009
14

Preface

Potapov, Igor, Semukhin, Pavel
Journal:
International Journal of Foundations of Computer Science
Year:
2018
Language:
english
File:
PDF, 217 KB
english, 2018
15

Vector and scalar reachability problems in

Potapov, Igor, Semukhin, Pavel
Journal:
Journal of Computer and System Sciences
Year:
2018
Language:
english
File:
PDF, 811 KB
english, 2018